-
1 constructive predicate calculus
Математика: конструктивное исчисление предикатовУниверсальный англо-русский словарь > constructive predicate calculus
-
2 constructive predicate calculus
English-Russian scientific dictionary > constructive predicate calculus
-
3 calculus
-
4 конструктивное исчисление предикатов
Русско-английский научно-технический словарь Масловского > конструктивное исчисление предикатов
-
5 конструктивное исчисление предикатов
Mathematics: constructive predicate calculusУниверсальный русско-английский словарь > конструктивное исчисление предикатов
-
6 generalization
1) обобщение, генерализация2) концептуальное описание; общая характеристика•- multivariate generalizationgeneralization by induction — обобщение по индукции, индуктивное обобщение
См. также в других словарях:
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Constructive dilemma — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia